perm filename CMXX10.360[360,GF] blob sn#858499 filedate 1988-06-17 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔εbp_Mg#_
ε∧  K&α⊂⊃λa⊗`¬ZaFPεZ!f@π→`pλβY@p⊂βY↓_βXa_∧_A ∧_!(∧_↓0∧↔a8∧↔A@βW pPβWpXβV`p`βV@p`∧⊗ ph∧⊗pp∧∃`px∧∃@qβU#u ⊂∀d∃⊂⊃∀ q ∧∀q(∧∪`q0∧∪@q8∧∪ q@βSqHβR`qPβR@a`β⊃(D⊂_N∧"⊂	FA`-Gk2-α↓`X-↓b @,Bα08,Ab@8,αα@0+Bα@8+Ab@8+αα08+↓b08*Bα⊂@*AaPX*πJ1`)GJ"λ)↓b⊂H(Bα0@(Ab@@(ααP8'Bα`0'Ab`8'αα`0'↓b`8&BαP8&ααP8&↓b@@%BαX%H)"%πI1@"Qλ3≥I∧1hπ_Bux
W#UX∂⊗!PP∧⊗↓!λα∃a⊃ ↓U!⊃8U↓¬_∧∀A¬λ∧∀ uβS`tpβS@thβS t`βStXβR`tP∧∩@tPβRA∧P∧ε ∀P∧¬@DP¬∧@TX¬C↓∀X∂SβTh
Sbe_π⊃(D ~∞d"⊂	FKAp-H+2⊂-ααX-↓b@H,BαP@,Abp8,ααp8+Bβ8+Ac⊂8+αβ⊂8+↓c 0*Bβ⊂8*Ac 8*αβ⊂8)Bβ 8)Ac 8)αβ 8)↓c 8(Bβ⊂8(Ac 0(αβ⊂8'Bβ⊂8'Ac⊂8'αβ8'↓c8&Bα`@&ααPH&↓b@H%Bα`%HI"%πI1@"QλSλ≤λD!_∞WβuX⊂⊗cuP∂V@uH∧⊗ u@∧∃a¬8βUA¬0βU!¬(
UβU_∂∀cU⊂∞T@uλ∧∀ u∧∪a∧xβSA∧pβS!∧`∧∪p_
∩d∧X⊂∩D∀P⊂∩cd("⊃Fβ8⊃λB1`.πK1x-GK!p-↓k⊂@,Ak@+B
p8+α
`8*B
P8*ε*1X)Fj!`)εj⊂@(Aj@'B	p8'α	`8&B	@@&↓i0@%Ai @%↓i0("Qλs≥I∧1hπ_Bex
W#UX∂⊗!PP∧⊗↓!λα∃A! ↓U!⊃8U↓¬_∧∀A¬λ∧∀ uβS`tpβS@thβS pxπ∪pxπ∪ppπ∩`pxπ∩`ppπ∩A↓(βR@q(βR@q βR@q βRA↓⊂βRA↓⊂βRA xβRA@X∧Rcd`∞∪#4x∀Ad("∩εsp⊃λB0(A+@8Ak0@α08Ak @α 8Ak⊂@α⊂8Ak@α
p@α
p8Aj`@α
`8AjP@α
R(*	J20)I*"0)↓bp8(Bα`@(Abp8(αα`@'Bα`@'Abp8'αα`@'↓bp8&Bα`@&αα`@&↓bp8%Bα`@%Abp8%αα`@%↓bp8%A#⊂("Q	⊃H⊂λD!_αWuX∧⊗`uP∧⊗@uH∧⊗ u@∧∃a¬8βUA¬0βU!¬(βU↓¬_∧∀`u⊂∧∀@uλ∧∀ u∧∪a∧xβSA∧pβS!∧`∧∪tX∧∩`tP∧∩@tXαQ(DP∀K$2⊂⊃A-@85B
085α
 84B
⊂84αp@3Al`@3↓lP@2Al@@1B081α 80B⊂80αp@/Ak`@/↓kP@'!`8&@a@8&↓!H%EI1(%¬	A'BHT %Nλα⊂⊃∧`APβWa8∧V`q(∧V`a ∧V@q⊂∧V@aλ∧V px∧V `p¬⊗p`¬∃`pX¬∃``P¬∃@p@¬∃@`8¬∃ p(¬∃ ` ¬∃p_¬∀`p⊂ε∀``λπTApλβTAP_βT!@0βT! @βT↓⊂P∧∪ahβS``xβS@qβS@aλβS qλ∧∪q_βSa βR`q(βR`a0βR@q0βR@a@βR`AHβ⊃(D`∞I∧"⊂	A+@8-B08-α 8,B⊂8,α
p@+Aj`@+↓jP@*Aj@@)B
08)α
 8(B
⊂8(α	p@'Ai`@'↓iP@&α	@8%Fi1`%π)!`%FHT &P)∩⊂⊃∧a↓pβW↓⊃h∧Va!X¬Va!P¬VA1Hε⊗A1@ε⊗!A8εV `λαE@`λβ⊗pλαE `λβU`p⊂αE`λβU``_αD``⊂β∃@p⊂αD``⊂βU@`_αD@`_β∃ p_αD` βU ` αC``(β∃p αC@`(βT`p(αC `(βT``0αC`0β∀@p0αB``0βT@`8αB@`8β∀ p8αB `8βT `@αB`@β∀p@αA``@βS`pHαA@`@βS``PαA`Pβ∪@pPα@``PβS@`Xα@@`Xβ∪ pPα@@`XβSpXα@ `XβS``¬CdXβC↓ `βR``h∧C dPβC!hβR@`xαC`dXα	 D("∪FSh⊃λB0H
↓@P	AK0X	↓k0X	↓K hλ↓k 0AB0,A`⊂0πAk⊂0↓↓Ap0,↓` 0π↓jp8↓AAP8+A@@0εAJ`8α↓A@8+↓@P0ε↓JP8αAA08*A@`0¬AJ@8β↓A 8)Aa0∧↓j00∧AA0)↓a⊂0βAj 0¬↓@p0(Aa 0β↓j⊂0¬A@`0(↓a00αAip8ε↓@@8'AAP0α↓I`8εA@08'↓A`0↓AIP8π↓@ 8&↓ap0Ai@0λC	08λC	00	αi 8	αi 0	BI0 
BλT 'LGB ⊃G!V_
_β∃p∞↔↓ P¬VA⊃∧⊗ q βUa↓(∧∃@q8∧∃ qHβUqHβT`qPβT@qXβT q`β∀ qXβTq`βS`q`βS`q`βS@q`βS@qX∧∪ q`βS qXβSqX∧∪qXβR`qXβR`qPβR`qHβR`q@βRA↓8βRA↓(∧∩a↓⊂∧Ra⊂x∧Ra0P¬SβTh
∪bU⊂εQ(E_N∧"⊂	FA`-Gk1x-α↓pP-↓b @,Bα08,Ab@0,αα08+Bα@8+AbP0+αα@8+↓b@8*Bα08*Ab08*αα⊂@)B↓pP)Gj!p)π
⊃H(Aj@'B	p8'α	`8&B	@@&↓i0@%Ai @%↓i0("Q
∪⊂≡
∧1hεXbFWCE`¬αA5P∧Ca∃H∧∧A¬8∧¬!¬0βEa¬(βF↓¬ βF u_βF@u⊂βF`uλβGeλβF`uβGtxβGtxβGtpβGtpβGthβGthβπt`βGt`βF`tXβF`tXβF@tXβB``@βR`pPβA`tP∧α@p0βRAP∧a∧X∧α@p⊂∧∩a⊂HπRa0@εSβTh
∪c¬⊂
Wa⊗∧_↓ελβ⊃(E⊂_N∧"⊂	FA`-Gk1x-α↓pP-↓b @,Bα08,Ab@8,αα@0+Bα@8+Ab@8+αα@0+↓b08*Bα 8*AbH*λ
1x)G
!H)↓a 8(B↓00(Aa@0(α↓@8'B↓P8'Aa`8'α↓`8'↓b0&Bα8&αα⊂8&↓b 8%Bα 8%Ab08%αα@8%↓bP8%A"`0"Q
2p→I∧1`εXBV↔C%h
↔↓⊂PβV`pxα⊗@a⊂↓V a Ve@β∃`u8βUa∃8π∃b%8
⊗αEH
⊗BEhλXAF0∧→`v8βY`dxE@dp↓¬@dhα¬d`β∧@d`βC`tX¬B!∀P∞Rc4hSb%⊂ε⊃(E ∀OD"⊂↓	I2@%
)"@%IK 8,B⊂8,α
p@+Aj`@+↓jP@*Aj@@)B
08)α
 8(B
⊂8(α	p@'Ai`@'↓iP@&α	@8%B	08%α	 8%A(T *LGR_⊃β`Q@αVq0βUa↓(∧∃`q0βUA↓(∧∃@q0βU!↓(∧∃ q0βU↓↓(∧∀a↓(∧∀`q0βTA↓(∧∀@q0βT!↓(∧∀ q0βT↓↓(∧∪a↓(∧∪`q0βSA↓(∧∪@q0βS!↓(∧∪ q0βS↓↓(∧∩a↓(∧∩`q0βR`q(∧∩@q(∧∩@q ∧∩@q_∧∩@qλ∧R@px¬∩aPε∪β4h∪BUλπ⊃(E0↔⊂∧"⊂α↓C`0&Bβ0@&Bβ @&Ac @&Ac⊂8&Ac8&Abp8&αα`8&ααP8&αα@8&αα08&αα 8&αα@&α↓p@&↓ap@&↓a`@&↓aP@&↓a@@&↓a0@%B↓ 8%B↓⊂8%B↓8%Bp8%B`8%BP8%B@8%A`@8%A` @%A`⊂@%Ci x%βI h%β	0H"Q
t0*λD @αE!⊃0αT a ¬Eeλβ∧aA_β∀q⊂ε∧`eβ∧@`λβ∧@eβ∧ `⊂β∧ eβ∧`_β∧dxβC``_β∧dxββ`` ββ`dxββ@`(ββ@dxββ `0ββ txββ P8αC tpβCP8ββ dpββP@ββdpβα``@βα`dpβα@`Hβα@dhβB `Hβα@dhβα `Pβα dhβα`Xβαdhβ↓```β↓`dhβ↓@``β↓`d`βA `hβ↓@d`β↓ `pβ↓ d`β↓`xβ↓d`β`aβ`tXβ@`Qβ↓dXβ`Qλβ`dXβ@Q⊂β@dXβ a⊂β dPεD@`λβ∩AA_ε∩A1 ¬RA!(¬∩A⊃0∧R@q@∧⊃(E@≤O∧"⊂
BαP8/α"0H/α"⊂P/B!pH/B!PH/BA0H0α! @0α!H0B `@0B @H1α  @1∧L!1CL0`2αL@@1BL⊂`/Cka.α ⊂@-B0H,B P@,αpH+α!H*B↓0@)B!@H)α!PH(α"H'B"⊂H&B"0P&α"PH%α"pH%αβ⊂8"Q∩X λD λβGtP∧F!∀P¬¬A∀X∧E!∀X∧Da∀X¬∧!∀`∧Ca∀`¬β!∀h∧Ba∀h∧BA∀h¬↓a∀p∧AA∀p∧A!∀p∧@a∀x∧@!∀xλSb¬εT↓Eλ∧T!¬λβTuβS`tpβS@thβS t`βSdXβR@tPβR@T("⊗FCH⊃λBB.H+B⊂.λ+Qx9α∞⊂@7B
`@6α
0@4B
@3αP@1B @0α`H.B0H-αH+B
PH*α
 H(B	pH'α	Bλ%Hi" %λi"⊂"Q∩λ∪¬Ba⊂¬Vα%0
U"e(αB@u αβu ↓β!ε_βX@uPπUαEλ¬↓@tx∧α th∧α@t`βCtXβC↓∧XβBa∧P∧αA∧P∧AA4Pλ@ tXπ@!∧`¬AthβBT("_DBP⊃λB0(.↓k0@-Ak @-↓k⊂@,Ak@+B
p8+α
`8βα
P@↓βJP8D*AP)BAH)Aa@@)α↓P8)↓aP@(B↓P8(Aa`8(α↓P8'B↓`8'Aa`8'α↓P8'↓a`8&B↓P8&α↓P8&α↓0@%B@pP%A`⊃⊂%α⊃%↓`0h%A `@"Q2λ∀¬Baλε∃b%(∀bu⊂∧B UλβC@5βD∀xβS@thβSt`βR`tXβR@tPβR@q↓∩@pp↓RAHβRBtX
Sα$x¬Q(F ∃L$"⊂∩A-`86B
P86α
@85B
085α
⊂@4Am@-α`8+C 0@*D ⊂8*εJ P∧α*⊂@ε↓j@εα	p8π↓ip8εB	`8π↓iP8πα	P8εB	@8π↓i@8εB	08π↓i08εB	 @εα	 @¬B	 HβBi1H%D⊂@&β 08'αp("QQp∩EB`x¬UAu 	∀BUλ¬↓`e∧B dx∧α`dp∧βdh∧βdhβC d`
∩c4X
∩@tPβR@tPβ∧ $Pββ@DP∧α tX∪αDhλSa4("→DBX⊃λC⊂X0β+`x.Ck0@βk 8-↓K⊂8,↓k8+Ajp8(D
↓⊂(∧J⊃)B
08)α
 8(B
⊂8(α	p@'Ai`@'↓iP@&α	@8%B	08%α	 8%A(T 3KERλ¬a08αWB⊂∧↔βEX
A %PβBuHβB u@βB u8βB@u0βB@u0βB@u0βB u0βAa¬0
UB5(	∃0⊂¬T`5_α∀BE⊂TC¬⊂∀β$p∞∪ QλβSQ_β∩`Q αR`Q_αR@aλβ∩A`∧∩C4X∪αTxπ⊃(F@⊃J$"⊂	A+@8-B08-α 8,B⊂8,α
p@+Aj`@+↓``@*B0`*A` x*ε*0XβAj0H∧Aj @¬α
 8¬Aj⊂@¬α
⊂8¬Aj@¬α	p@¬α	p8¬Ai`@¬α	`8¬AiP@¬α	@@¬α	@8¬Ai0@¬α	08¬Ai @¬α	 8¬Ai0(εA(T 4F#b_⊃D`U`βWuX∧⊗A¬PβV`T8ββU(βU u ∧∀a¬_βTA¬⊂βT!¬λβT↓∧x∧∪`tp∧∪@th∧∪↓∧`βRa∧XβRA∧PβR`T("~E∩λ⊗Hd0(6↓m0@5α
 85↓m0(#AC0(2↓l@81B @1↓l⊂@0Al@0↓kp@/α`8.BP8.α0@-Ak @-↓k⊂@,Ak@+B
p8+Aj`8&!8%D	0x%βi0`&BλT 5I%B⊂⊃∧`E`β⊗`uXβ⊗@uPβ⊗ uHβ⊗u8βU`e0βU@``βU pP∧∃ `H∧∃p8∧∀`p0∧∀``(∧T@p_∧T@`⊂∧T"¬λπ∀↓txλ∪b∀p∧@!∧pβAthβA!∧`βAA∧`βαtXβB↓∧Xβα!∧PβB@tPβαa∧Xαβ d("≠β⊃p⊃λB0(.↓k0@-Ak @-↓k⊂@,Ak@+B
p8+α
`8*B
P8*α
0@)Aj @)↓j⊂@(Aj@'B	p8'α	`8&B	@@&↓i0@%Ai @%↓i0("Q
S8≡EB``αB↓X∧∃ p εAAU(β@Ap πUβ λ	∀a08∧ 08∧∀a⊂P∧B@u⊂∧αaX∧∀@p`βCuλ∧αaX∧∀ p`βCu∧αaX∧∪aX∧αa∧xβCp`βSAX∧αa∧pβCp`βS!X∧αa∧`∧αaX∧∪p`βCtX∧αaX∧∩`p`βCtP∧αaX∧∩@p`βCtXαC@PpαQ(Fp⊃J"a0ε↓!@*A`@`*A` x*ε*0XβAj0H∧Aj @¬α
 8¬Aj⊂@¬α
⊂8¬Aj@¬α	p@¬α	p8¬Ai`@¬α	`8¬AiP@¬α	@@¬α	@8¬Ai0@¬α	08¬Ai @¬α	 8¬Ai0(εA(T 7HE⊃0∧!E@λU"U_∀AH∧∀ p`∧∀`xβ∪``xβS@pxβS qβSqβSqβR`qβR`pxβR@qβR@pxβR@ppβR@p`∧∩A⊂@∧RC∧X
Sα$pε⊃(G∃
D↓0	↓!@-A`0p-A`⊃λ-εK⊂P∧α+⊂8εα@εα8εB
p@εAjp8π↓j`@εAjP@π↓jP8π↓j@@εAj@8π↓j0@εAj @εα
 @¬B
⊂PβBJ⊂8DJ@D
8↓C)p@αB	`@'↓iP@&Ai@@&↓i0@%α	 8%A(T 8I¬"∧ p0αUaP_βU"⊂βUα⊂λ∧∀A 8¬∀!⊂P∧∀↓`∧∪ahβS`ph∧∪@ppβS pp∧∪ ph∧∪ppβSph∧∩`ppβR`ph∧∩`p`∧∩AP∧RA⊂8¬Rb⊂λβRbλ∧∪↓P_βSA(∧⊗A¬PβV!¬HβV↓¬@βUa¬0∧∃@u8αQ(G⊂∞Hba0ε↓! *A`@0*A`08*α⊂@)B⊂H)A`⊂()αj H(B
⊂8(α	p@'Ai`@'↓iP@&α	@8%B	08%α	 8%A(T 9H∧10∧A%@λ∃b5(
∃`HαT`Ph↓T`PpT@u⊂εT"∃⊂	∀B%_	∃"¬X¬∪@⊃αS 0xαS @hαSpHβ∩bdP∪α%¬Q(G λ#A`π↓*p8+α
P@*Aj@@'DIa '¬	q⊂)↓j⊂8(Aj8'Aip8'↓i`8&Ai@8&↓i08%Ai @β) 8α↓	 x%βI `%AhT :He!0α`PhαUpXβUpXβTaP∧∀AP∧∀@pXβT!P∧∀ pXβT↓P∧∀pXβSaP∧∪AP∧∪@pXβS!P∧∪ pXβS↓P∧∪pP∧∩`pP∧∩`pH∧R`p0↓@ tXπ@!∧Xε@`th∧↓`T("≥CrP¬@@(λA)P0λ↓IP0πAIP0εAiP0ε↓iP0¬Ai@8¬↓i@8∧Ai@8∧↓i@0∧↓i@0βAi@0β↓i@0αAi08α↓i08↓Ai08↓↓i00↓↓I00AI0`%Bi X%αI0@"Q∞s≥¬B`(αC `pαS@``∧βdpβαa`β∪ pP∧B`dhβB! Pβ∪ `H¬B dhβαPλβαdhβ↓`P⊂αBd`βA@P⊂β↓`d`β↓@P_β↓@d`β↓ P β↓ d`β↓P(β↓t`β↓@(β↓tXβ@`@0β↓dXβ`@8β`dXβ@@@β@dXβ @Hα@@dP¬B `λβ∩A Pε∩A⊂X¬RA⊂X¬∩A`∧R@`p∧⊃(G@∪J"a0εAA`0+Aa08+Aa 8+Bp8,↓``8,α08,A`⊂@,CK X-αK08-AK⊂H+Bj`h*↓` 0)↓`@8(A`P8'Aa8'↓a⊂8&↓a0@%AaP8%↓Ap0"Q∂∩`∃λαaλαD UPβC`ePβC uPβCuPβB`uPβB@uPβB uPβBuPβA`ePβA@ePβA ePβAePβ@`ePβ@@ePβ@ePβ@UPε⊗A5P¬⊗A∃P∧⊗@uPβ⊗@U@β∃`e0β∃ d`↓↓ dXεRa4P¬RA∧("≡DB8¬AQ8+ε
a@+EL@81α⊂8/AkP@.↓k 8,α
p8*Aj@8)↓j@'AiP8%Ei!H%ε)!@"Qαp~HD!_
↔βEX∞VcEP∞⊗@uH∧⊗ u@∧∃a¬8βUA¬0βU!¬(βU↓¬_∧∀`u⊂∧∀@uλ∧∀ u∧∪a∧xβSA∧pβS!∧`∧∪tX∧∩`tP∧∩@tXαQ(@λ→
D"⊂∀α.`7C-`p6∧
0@B
 @↓α
⊂@↓B
8αBp8βαP@βB@@∧α0@∧B @¬α⊂8εα8εB`@παP@πB@@λα0@λB 8	B⊂8
α
p@
B
`@α
P@B
@@α
08
α
 8
B
@∞α	rh'IRx&	3λ%(T ↓gb ⊃G!f⊂↔c5h∂Va0X¬V!!λ∧V↓↓(∧∃`q@βU!↓HβUqXβT`q`βT@qhβT qpβT qhβTqpβS`p(	αtpβA"@0βS@p ↓ thβA"P(βS p(
A t`βAB@(βSp8	↓ tXβG`tXβG@tPβG@tPβG tPβGtPβF`tPβF@tPβF↓∧P∧¬!∧P∧DA∀X¬Ba4`∂∪#4x∀Ad("e2p⊃λD @5αm⊂`4βph3βLPx2↓`⊂@1A` @1↓`080A`@80↓`@@/A`P@/↓``@.A`p@.↓a8-Aa⊂8-↓a⊂@,Aa @,↓a0@+Aa@@+↓aP8*Aa`8*↓a`@)Aap@)↓b@(Ab⊂@(↓b 8'Ab08'↓b0@&Ab@@&↓bP@%BαP8%ABp8%↓C0"QCH≡HD!_∩W∧uX∀⊗duX∪W∧T8∧∧β5H∞Vβe@∞VβUH
Qa⊂⊂∩RdtX∪RE∧P∪RdT("↓&sp⊃λB2_.	+20-I+"0-↓bp8,Bα`@,Abp8,αα`@+Bα`@+Abp8+αα`@+↓bp8*Bα`@*Abp8*αα`@)Bα`@)Abp8)αα`@)↓bp8(Bα`@(Abp8(αα`@'Bα`@'Abp8'αα`@'↓bp8&Bα`@&αα`@&↓bp8%Bα`@%Abp8%αα`@%↓bp8%A#⊂("QcX λD!_∪W¬∃X∃⊗e∃`∪W↓∃h∧W!∃p∧WA∃x∧↔a⊗∧_↓⊗λ∧_!⊗λ∧X!∃x¬WA5`¬VAEH¬UaE0¬U↓E_¬T!5¬SA4`∪Re∀P∃∩E∀X∪Q(@8↔⊂D2_ε↓b8)C↓0`(βa⊂x'D qλ&D`a⊂&α @8α↓`@H%Bp0↓A@p@%α↓⊂(↓↓!⊂8%↓a  ↓↓! 8%↓A0 A!00-A⊂ -α+ @-↓k⊂@,Ak8,↓jp8+α
`8*B
P8*α
0@)Aj @)↓j⊂@(α
8'B	p8'α	`8'A(T ∧'∩⊂⊃π V0βY!ε(βY↓επVc¬@∞UD¬ ¬a_¬∀a0βAA∃λ∧↓a8∧∀pHβB txβB!HβS@pPβB thβBAHβS pH∧α@t`βB@pPβSpH∧α tXβB@pPβR`pH∧α tXβB pHβRA@∧αtP∧↓a8∧∩A⊂0βAA∀X¬a_¬∩d∧h∞∪C¬⊂λ∃!¬(βU↓¬ βU T("α&∀⊂⊃λC (1Al @1↓ip0εα↓ 8'α↓08¬α)`@¬α↓⊂P'B↓⊂8∧BIp@∧α↓@'Aa@∧α	p8∧↓a@'αp@βB	`8∧↓a8&Bp@βB	P8∧↓a8&αp@βB	@8βBp@%Bp8∧↓i08βBp8%A`p8βB	 8βB`@%↓`p8βα	 8βα@H%↓`P@αα)00αA`0P%B!_&εiQ@'¬
⊂p)α
 8(B
⊂8)↓(T ¬∞πB_⊃Hαε(_cFλ∂WaP`∧WA!⊂βW↓!(βVa⊃8βVA↓HβV!↓PβV qP∧⊗↓↓PβUa↓P∧∃`qXβUA↓P∧∃@qP∧∃@qH∧∃@q@∧∃@q8∧∃@q0∧∃@q ∧U`a_∧∃`a⊂∧∃`aλ∧⊗Px∧⊗Pp∧⊗PhβVP`βV @Xβ⊗ @Pβ⊗PHβ∪αHλ∩b⊂HλRB @	∩B⊂HλRapXπQ(C∪DB_B,p.DKA -α`@,Aa⊂8,↓a 8+Aa08+↓a@8*AaP0*↓aP8*↓A`8)AaP8)↓a`8)↓A`8(Aa`8(↓a`8(↓a`8'Aa`8'Aa`8'↓a`8&Aa`8&Aa`8&↓a`8&↓aP8%Aa`8%AaP8%Aa@8%↓a@8%↓a@0%↓a 8%↓a⊂8%α`@%¬)1⊂&βi`H"Qε∩⊂∀Hd1p↓Y v_∧Vb¬Pλ⊗B¬PπV`⊂(∧_ v∧↔a¬xβWA¬pβW!¬hβW↓¬X∧⊗`uP∧⊗@uH∧⊗ u@∧∃a¬8βUA¬0βU!¬ ∧∃u_∧∩bTPRBtX
Q(C⊂∃Kd2_∞α,0p0DKq(.Ek@@βB+08¬α+⊂8εB (π↓k  πAk0⊂λ↓k0λλ↓m@85Am 84Am83αP81Al⊂@0↓k`8.↓K 0,↓J`0*↓J0((A)p0&F)1`%π)!`%FHT →J%b ⊃G↓⊗⊂πXα%p
W↓⊂8βV`pPβV`P`βV`0pβ↔⊂pβZ@vPβ~↓ε8βY!ε_∧W!U`ε↔↓UXπXaε βY f βYv βX`v⊂βX@thD`th↓∧ t`αC!∧X∧α!∀P
∩c∧`
SB∃λ¬⊃(C ∩∧"⊂∞αPH2αL0P0C(AKp(AK`(↓↓K@0↓↓K00↓AK (α↓K⊂(αAJp0αAJ`0αAJP0β↓J@(βAJ 0∧↓J⊂0∧↓J0∧AIp(¬↓IP0¬↓I@0¬AI1`%πI!p%πI1`,Ak8,↓Jp8+AJ`8+↓Jp "QεRP↔Hd! 
W"uhWαu`⊗a¬P∧⊗@uH∧⊗ u@∧⊗u8	∃BU0∃"u(¬↓A¬ ∧α@u ββu(αβ f(βY v βYv_βX@txD@th↓D t`αC`tXβC↓∧P∧B!∀P
∩bt`
∪B¬¬⊃(C0∪KdB_∞α, x/D+Q_.α!⊂-α⊂8,↓jp0+↓JP0*↓j08αBJ 8αβ* 8↓βj⊂8A@⊂X(↓`⊂_∧α
H¬AipHε↓Ip@ε↓i`@εAiP@εAiP8π↓i@8π↓i@8π↓i@0π↓i08εAi08εAi00εAi 8ε↓i 8¬Ai @βB)10%E	A⊂&CIpH"Qεr8→λD `
∃#E ∞UβE(
→!⊗ ∧_A⊗λ∧↔a∃p∧↔!¬`∧⊗A∃H∧⊗↓¬8∧∃A¬(∧∃↓¬_∧∀A¬λ∧∀ uβSa∧p∧∪!∧hβS↓∧X∧∩`tP∧∩@tXαQ(C@∀dB_Bl↓.EA0-Bp@,B↓ 8,↓a@8,↓a08+Aa@8+↓a@8+↓a@8*Aa@8*Aa08*Aa 8*Bp@*E*a⊂+∧*A()αp@(α↓ 8'AaP0'↓aP8&Aa`8&Aa`8&↓a`8&↓aP8%Aa`8%AaP8%↓aP8%α↓08%α!@%ε	!8%E	Aλ'αhT ≤J¬b ⊃FA&λπWb%h
↔↓8βVAHβV p`β⊗p`βU`phβU``pβ∃@phβU ppβU phβUppβT`ppβT`ppβT@ppβT@ph∧∀@pX∧T@pP↓ u⊂βB0λβTB⊂λβTAp_βTa@ βU↓⊂(βV⊂@βX fβ↔@uhβS@⊂`∧∪ 0@¬∪αTX
∩B4Xλ∪!$("	¬∩x∪Iβ`⊂3A0X0∧a .¬k18-α  ↓Ak⊂8↓A P ,↓@P β@Jp0αA*p0α↓*`0αA
`8↓A*PH↓↓
Px*D*Q⊂+∧Jq⊂,∧+!-Ck0 ↓α (↓Ak⊂(α↓k⊂ αAIPλ¬↓ @0&@A⊂ αAI@ βA @0%A@P(↓Ai P↓↓ @%ε)18&¬	a(BJ ()↓
0⊂"Q∧c⊂≤I∧1pβYA6 π_Bελ∧@`fβA@exβA`epβA`upβαehβαu`βA`u`β↓A¬`β↓↓∃Xβ@A∃Xβ! X↓Vap`β⊗A`hβ⊗A@pβ⊗!!β∃A1λβ∃↓Aλβ∀Aaβ∀α⊂hβ∪A⊂_βCdh∧↓ pPβS↓0∧αtX∧αp0βR`pH∧a∧P∧α@pλ∧∩@pXπ∩@p`εα`$P∧α↓`HαRE4P∃∩bPλ	S!p8λ∪a⊂p¬⊃(Cx⊂$"⊂λBja⊂*¬*A0)Aa⊂8)A↓@8)@!`81↓l⊂80↓k`@.α+0H,B+@+α
P8*↓j08)AJ 0(AJ⊂0(↓Hp ↓A)@8%B	08%α	 8%A(T ∨πdα⊂ε V⊂βX@vλ∧_ vλβX@T8α∧`ehβ↔e`β⊗`ePβ⊗ e8βU@u ∧∀A∃∧Sa∀p∧∪ t`βStXβC@∀XβC4P∧αtPRbd`	∪A4("∧α!8¬A@(*AjP8*α
0@)Aj @)↓j⊂@(Aj@'B	p8'α	`8&B	@@&↓i0@%Ai @%↓i0("Qα∩λHαaXαYv βXaε⊂∧_@vλ∧_ v∧_ux∧↔A¬pβW!¬hβW↓¬X∧⊗`uP∧⊗@uH∧⊗ u@∧∃a¬8βU`u0βS ⊂8βS↓tXπRAtXε∪!∧("ε%αp⊃λC⊂X0∧a_.¬K0@∧↓k 8¬↓k⊂8¬↓k⊂8¬↓k@∧Ajp@∧Ajp8∧Aj`@βB
`8ααjP@↓BjP8ααJ@@↓Bj0@∧α
08¬↓j @¬↓j 8¬Aj⊂@¬Aj⊂8¬Aj@¬Aip@ε↓ip8ε↓i`@¬Ai`8ε↓iP@¬Ai@@ε↓I@8¬B	0@¬α	08αβ) @↓C) 8↓C	0(↓BHT 
g↓0∧A@0¬Vα λλ∃De(∪U `HεA@e αβ↓ Hβ∃ h∧B`f_∧α`v⊂∧βf⊂βCvλ
⊗∧5λ∀SC∀h¬αtX∧βtXβC q↓∩@ph∧β@4P∧α!@HβREDP"DX	↓"∀hεBa$("εfS`¬B⊂X¬αjq⊂α∧
Q(Dj2X)α!↓β↓J⊂8εβ↓⊂0(↓a`H¬AIp0πB!08'↓ap@ε↓IP8λ↓a@8&↓b↓P&↓aqX%Ab↓P%Aap@%↓b8%↓ap@%↓a`HλI 8εαa`_%α↓x∧Ai"p%E 1 &∧@aλ'BaPP"QβBx↔IβR`↓≥ G_β≤@gλβ≠`vpβ_B∃x	WαUP⊗!8¬⊗`@εU``@β e0βα`⊂β∃ `8β@`e β↓``(β∀``8β↓ e_β↓@`0β∀@`(β↓`e⊂β↓`8β∀ ` βαeλβ@p@β∀ `λβα eλεαuλ¬AA∃λ∀BUλ
∀α∀xβ∪@d`β∩`dPβ∩@TX↓⊃(Ah#RD"⊂∪λ
b_6I
B 5I
 8α↓m⊂8αα
8αAlp8αBP@αB@@β↓l0@βα @βAl⊂8∧α8∧EKp8∧F`8∧F+P8¬ε0@¬ε @¬Ak⊂@¬B↓X+G
a`*G
@8πα
 @πAj⊂@πB
@πB	p@λ↓`!'↓b⊃X&Ab!X&↓b!`%Ab1X%↓BaH"QβdH)	∧1hεXF¬x~↔&eX¬Bd∃H¬βcu@∧∧A¬8βE↓¬(∧¬↓¬ βEA¬_βEA¬⊂βE`uλβEa¬λβ¬a¬βEa∧xβEc4pβFβDpβEcThβFβDhβEcD`βEa∧`βEa∧XβEa∧XβEa∧P∧¬A∧PβE`tPβEA∧PβE!∧P∧¬↓∧P∧∧a∧P∧D!_	RA x⊂∩a@H⊃Sεth~Sf%⊂εQ(Ax≤P%"0≠Op >AM pα↓LQ`1πL↓x/αa@P.α"X-Ab `-↓B 8AK8	↓` 0+AB00α↓J`0	↓`P0*AB 0βAJ@0	↓A0*↓B8∧↓J00λ↓A 0)↓Ap8¬AJ⊂0πAa00(AA`0εAJ0εAaP0(↓A@0πAIp0ε↓Ap0'AA 8πAI`0¬↓B⊂0'↓A8λAIP0∧↓b⊂0&A@p0	↓IP0αAb 0&A@@0	AIP0↓AB00&CB 8&Cα 8&Bb⊂@'αAPP'GIQp&π	00αβI 0%↓	0⊂"Q∧⊃P⊃λD!_βWu`βV`uXβV@uPβ⊗ u@βVu8βU`e0βU@e(βU e β∀`u_β∀@u⊂β∀ eλβ∀d8α`T`βRa∧XβRA∧PβR`T("∂β⊃X⊃εα0(.↓k@8-B08-Ak@(#A↓P0+AJ`0*AjP0*↓j@0)AJ 8)↓J⊂8(AJ8(↓Ip8'↓i`0&AiP0&↓i08%Ai 8%↓hT ⊃Nλα`⊃	@0X↓[`@Pα≠@`@β≠ `@β≠p8βZ`p8βZ``@β~@`@β~ `@β~`@β→`p8βY@p8βY p8βY `@β∀Euλ_∀&∃λ_∀EupβA`uhβA`u`βA`uXβA`uPβA`uPβαeHβαdX↔RF∧P_RF∧X↔T@p8βT@`@β∀ `@β∀`@β∪``@β∪@p8βS p8βSp8βS`@β∩``@β∩@`@β∩@PHαR@PHαR`0X↓Q(B(≤⊂dr 
↓c⊂_-Bb`0,CB@8,∧α @+A@@8λα*`0αAap@*A@`0πα*@0βAAPH*↓ p0εα*00βAA0H)↓@p0¬α* 0βAA⊂H(A@p0∧α*⊂0β↓AH(A@P0βB*⊂0↓A`pH(C`p@(C@`H)α`p@)BpHβAl⊂HαBkpHαCK`HαD@Hβ↓`08-B `0αAK⊂HβA@`0,α p0βAJ`H∧A@`0*B!⊂0βAJ0H¬↓@p0)α!00βAJ⊂@ε↓@p0'B!P0β↓I`@π↓@p0&α!p0αAi0Hλ↓@@8%αα!%↓b0p%↓"``%@c⊂8"Q∧ph⊂Bd 0βS`txβS@tpβS t`βS@Dhα∪DX↓R@4("
∧2X_	βp 3A,P(1A,⊂00↓Kp(.AK@0-AK 0,AK0+AJ`0*AJ@8)Aj 8)↓J⊂8(↓ip8'Ai`8'↓iP8&Ai@8&↓i08%Ai00%↓i 8%↓I 0%↓I 0%↓I 0%↓) 0%↓I0(%A)@ &↓)P "Q¬∩ ⊂L∧A`α→`F8αY`V@αZV@αZf@β~f@β~f8βY`f8β→@v0βY@f(βY v βYv_βX`v⊂βX@vλβXvβW`upβW@ehβWuXβV@uHβVu@β∃@u(β∃e_β∀@Uβ∪`Thβ∪TPαQ(BP⊂αb 
↓P(.↓+@()A β@J⊂ β↓`((↓@P_αAIp@α@@@'B  _↓α*⊂@@@⊂@*β )C	p@@@⊂8&α  ⊂↓α)08α`0@%↓@P_αAi  β↓`(%A β@J0 )↓*  )hT ∃K'αp⊃H 6Xα~@VHβ~ V@β~V8β→`V0β→ f(αYf αX`f_αX@fλβ_ Vβ_TX∃ReDP⊗ReDX∃We`αV`ePβ⊗@UHβ⊗ U@β⊗U8β∃@e0αU e(αUe αT`e⊂β∀@U⊂αT`4("↓Qλ¬A@`8'Aip8'↓iP8&Ai@8'↓	P &↓	0_%hT ↔αb⊂0β↓thβS t`βR`tXβR@t("f3⊂_	¬p_<↓.p0;↓nP8:↓n089↓n@7B
`@6B
@85Am 84Am83Al`82Al@81Al 80Al8/AkP@.α0@-α⊂8,↓jp8+↓jP8*↓j08)↓j⊂8(↓ip8'↓iP8&↓i08%↓i 0%↓)0_"Qπ! 
¬B`hβU@u0βU u(βUu βQa⊂ βS thβStXβR`tPβQ(CXεC10πAk8,↓jp8+Aj`8+↓hpHβ↓ip8'Ai`8&AiP8&↓i` &A	@ %@i _"QπS ≡∧α@@∃T%Eλ⊗T%E⊂∃Q`pλ∃REDP⊗REDX∃Q(D⊗N∧"⊂∞β⊃ /εAP-αa @,α!p8+B↓↓+↓`q_*↓`q )A`a0)↓``@βα*⊂8β↓a⊂8(A@`0¬Aj0β↓A@0'A@`0εAI`0β↓AP0'↓@`0εAIP0β↓AP0&A@`0ε↓I@0β↓AP0&↓@`0ε↓I00β↓A@0%A@`0¬AI00β↓A 0%↓``8βα	 8β¬	 8βD) 8∧βI @∧B)0@%BaP@&π)a@'E
0`"Q2@∪L∧AXε→↓f π_af⊂∧_@vλ∧_ vβXuxβWA¬pβW!¬hβWu`βV`uP∧⊗@uH∧⊗ u@βVu8βUA¬0βU u(βUu_∧∀`u⊂∧∀@uλβT uβSa∧xβSA∧pβS thβStX∧∩aDPπ∩AdXε⊃(Eh∀λfα 
C@p2βLPh5↓m⊂84Am83Bp83α`82AlP82↓l0@1Al @1↓l⊂80Al8/Bp8/α`8.Ak@@.↓k0@-Ak 8-↓k⊂8,α8+B
p8+↓j`8*Aj@@*↓j0@)Ai0p%βi p%CλT 0β∧X⊃α 5⊂↓T 4xα∪@DhβSt`βR`tXβR@tPβQ(A⊂¬	r⊂↓i00&↓I@0&AI`('A
 "Qα1⊂_↓d XβT`uλβTdpβ∪ TXαR@D("¬αbxβH εA) (¬↓)0(βAI00α↓I@(↓↓IPX&B)`0"QαQ0↔AD λ↓∧$Pαβ TP∩BTP
∩b$hπ⊃(A0
LB↓F	A@&ε	1@%ελT DεP8⊃↓A∀hεS↓dXα↓`DXα↓@TPπRaD`∧Q(0β∂x␈␈␈p@α∨x␈␈}␈x␈␈␈@Hα∀ TxαS d`β∩@d("λαqpαEα⊂()CI10%¬I!⊂%αHT /¬E@8⊃βe ∧∀A5β@ dxβ↓Thβ↓`TXαB`DPαβ@D("↔a∩βλ`0(&↓i@8%B	 @%↓i0("Q∂QH_↓d 0βA txβA tpβ↓@dhβ↓@d`β↓@d`αA`TXααDPααD("∨C#βλA(∧A
Hβ↓	``α↓	Q &↓ @X%ApH%↓↓⊂0"Q∂q(↔↓D0_αA`T`βA tX∧↓ tXβA!∧P∧↓ tPβA@tXαBT("αgβx⊃λC⊂`βCpαCKa↓DQ↓D0@β@`⊂@β@k 8ε↓k 0εAK⊂8ε↓k8ε↓k8ε↓jp8ε↓jp8ε↓j⊃λβC
↓_αCJ↓_αCJ⊃λαCJ0@¬B
08ε↓j @¬B
 8ε↓j⊂@¬B
⊂8ε↓j@¬B	p@¬B	p8ε↓i`@¬B	`8ε↓iP@¬B	@@¬B	@8ε↓i0@¬B	08ε↓i @¬B	 8ε↓i0(π↓(T ε
f"_⊃I V⊂¬@uxε`upε@A¬`πA¬X∧↓  ⊂βV@p8AUPβ⊗ u@βVu8βU`uλ	↓ U
`u
`uλ	a¬_∧αA¬_βB`u⊂∧αA¬⊂βB`uλ∧αA¬λβB`u∧αA∧x∧αA∧xβB`tp∧αA∧pβB`th∧αA∧`∧αA∧`βB`tX∧αA∧XβB`tP∧αA∧PβB`tXαC T("β%3⊂⊃λCP↓A+p`↓Ak`h↓α@p↓Ak0@α@@ @-↓a08-↓A0@,Aa08,↓a0@,↓a @+Aa08+Aa @(D@P8(¬0@(¬08(D@0@)B↓ @)Aa08)α↓ @)↓a08(B↓ @(Aa08(α↓ @'B↓ @'Aa08'α↓ @'↓a08&B↓ @&α↓ @&↓a08%B↓ @%Aa08%α↓ @%↓a08%A!P("Q↓cx#λd3HαXa @∧Avε↓A0(βWA`(ε↓↓¬`πA↓P ∧⊗a0↓`p(↓↓uPβCphαV@`hβ⊗ p`βVp`βVp`βU`p`βU`p`βT"⊂8ε↓`U	A!`(βTα0(π↓ uλλA!`(∧∀aX∧αa¬_βCp`βTAX∧αa¬⊂βCp`βT!X∧αa¬λβCp`βT↓X∧αa∧x∧αaX∧∪`p`βCtp∧αaX∧∪@p`βCth∧αaX∧∪↓X∧αa∧`βCp`βRaX∧αa∧XβCp`βRAX∧αa∧PβCp`βR`PpαC@T("βgt0⊃λC⊂P∧α P(0β`XαAk`pαC@@.β`@hαAk0@β@08α@@@@-↓a@8ε↓k 0εAA@@,Aa@8ε↓k8ε↓a@@,↓a@8¬B
p8ε↓a@8+Aa@8¬B
⊃λβCp8(∧`PpαB
↓_αC@P8(D PpαB
0@¬B↓0@)Aa@8ε↓j @¬B↓0@)↓a@8ε↓j⊂@¬B↓0@(Aa@8ε↓j@¬B↓0@'B↓0@¬B	p8ε↓a@8'α↓0@¬B	`8ε↓a@8&B↓0@¬B	@@¬B↓0@&↓a@8ε↓i0@¬B↓0@%Aa@8ε↓i @¬B↓0@%↓a@8ε↓i0(π↓!`("Q∧!X∃Bd 0βA`txβA`txβA`tpβA`tpβA`thβA`t`βA`tpαα@Dhαα@D`αα@DX↓B`4P↓B`4(""⊃H↓C ⊂x%∧)!λ%ChT .εF0X⊃α 0X↓T@0X↓T 0X↓S`@Pα∪@@Pα∪ p8βSp8βSp8βR`p8βR`p8βR@p8βR@p8βQ(GX⊃
@0xH	"⊂%λI2"Q∂D(&@apλ ⊂i$"RH∧(%Pλ4(wDM⊗ 2[NFH3~,W⊂⊂⊂iU@)R(%@wE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞P∨:P

B@⊂α>fpα>f␈x␈␈␈
Ox␈␈}@∧o0	@`≤6`#>`λ≥α*PP↓0m=@#0∧-@hαu8{e0ε⎇∩`¬}∂0α@pw9@≥>`(→ααh=↓@R=@c⊂∧¬WPβ∩h{↓f`λ[↓Pε//0∧@↓⊗↑@|}`H≠α⊗`ε@↓PB=A#⊂∧¬WPβ28{αe⊂εD! 9∂0ε	 `¬V@↔↔}`h∩@↓@X-αpv=AcH∧HCP¬xλ{βg⊂	⊃π 
O0λ∧(6∧`⊂n≡aλ	@`X.@αλv⎇B"_αf2h¬EP{∧d0¬LeP∞∨0
λ`X→K ⊗"≡a(⊃@↓3_⊗@α`T⎇Bb_αf2h¬L⊂{¬g	εt0~?0π`Hz&@⊗;↑aH⊃↓,`cα⊂≤=C#⊂∧¬WP∧,_{εf`λ[↓PλdO0∞λ`X→K ⊃e>ah≡α6`¬@α 
=Cd ¬=∪⊂∧Ih{πf`λ[↓P	%/0⊂∧ (6∧`⊗E≡bλs__α(x⎇D"_αf2hε∪λ{λg 	*T	O␈0∩λ`X→K ∂⎇≡b(≥@α-hQα8∪=Dc(∧ Z0∧πh{	b0β∞≤
∨0∀ε`@[↓@∀λ≡bH
@↓0βα@D⎇E"_αf2h¬∂⊂{
f`λ[↓P
*␈0⊗∧`0≤8∀o≡bh@w89@βλ4=Ea_↓G∞¬≥X{d0¬LeP
>∂0_λ`X→K 
m↑cλ⊃@↓3_⊗@↓` ⎇F"_αf2hβI⊂{d0¬LePπ≥␈0~λ`X→K ∞T↑c(⊃@↓3_⊗@↓h`⎇Fb_αf2hβb⊂{
d0¬LePπT∨0≤λ`X→K ∂;↑cH⊃@↓3_⊗@↓x7⎇G!_↓G∞¬%H{∞b0β∞≤
Oo0≡¬@8→L∪∞≡ch≠α⊗`ε@αPV⎇GbλαR>_∧⊗X{∂d⊂¬$|0λ#o0 @pw9@∃2↑dλ↔@↓s_∃⊃⎇H"xβb⊂@
⊂{⊂ePπ∪sP#←0"`↓'f`←↑d(∃↓W87⊂⎇Hb@β≠α(%{⊃e`π;\`S←0$@↓⊗↑@↓D≡dH
gh⊃@_L⎇I"λαV`(>0{∩f⊂πtN0↓π?0&	@`≤6`α3↑dh∨α>H→@(
⎇Ic⊂∧¬WPa{∪f0λ≤7P↓Z?0( p8o@βW↑eλ→@απλ↑@8b⎇J"hβR>↓ε⊂{∀dpε≤8α≤←0*`x→J@∧R↑e(_@↓{)HK⎇Jbxβf2P↓"0{∃h0
[↓ αU←0,`x→J@¬k↑eH↔@↓s_∃`⊗⎇K"Xβ6¬_↓I@{⊗bPβ,
m∨0.λ`X→K _]}eh
@k,αXi=Kb_αf2h¬R8{↔b0β∞≤)∂00∧`0≤8⊗∞}fλ⊃↓,`c`r⎇L" αtO_↓S@{_cp∧⎇∪ β6∨02	XR<`ε|↑f(∂@↓!`6@p4⎇La(↓[αP↓k{→d0¬LePβ←␈04	XR<`π[↑fHλV`	@xs⎇M!_↓A5hαα`{~d ¬A5 ∧⊂␈06∧(6∧`λ>≡fh≤α≥hi@↓λ"⎇Mb αtO_α≥0{≠d0¬LeP∧F␈08	XR<`	"↑gλ∩↓: y@↓⊂␈⎇N!@↓v¬0α70{≤c0∧%EP∧v␈0:ε @/ 	}↑g(∩↓: y@↓ ∨⎇NbαLfαJ {≥fπX∃P¬∨←0<λP3_
f↑gH⊂↓&00↓(v⎇O!pα8⊗0αe@{≡d0¬LeP5o0>⊃@↓03⊗@_o>gh⊃@↓3_⊗@αh.⎇Ob_αf2h¬X {∨d0¬LeP4←Hε pAw{⎇xow{⎇x